ShapeIrrelevantConstructor.agda:4,21-38
Shape-irrelevant constructors are not supported
when checking the constructor wrap in the declaration of Wrap
